(0 16 3)(1 11 2)(4 19 18)(5 20 7)(6 10 8)(9 14 12)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (11 13 17)
(0 16 3)(1 11 15 13 2)(4 19 18)(5 20 7)(6 10 8)(9 14 12)(17)
2: (9 14 12)
(0 16 3)(1 11 15 13 2)(4 19 18)(5 20 7)(6 10 8)(9)(12)(14)(17)
3: (2 15 13)
(0 16 3)(1 11 15)(2)(4 19 18)(5 20 7)(6 10 8)(9)(12)(13)(14)(17)
4: (0 16 3)
(0)(1 11 15)(2)(3)(4 19 18)(5 20 7)(6 10 8)(9)(12)(13)(14)(16)(17)